Rigid א 2 - saturated models of superstable theories ∗
نویسنده
چکیده
In a countable superstable NDOP theory, the existence of a rigid א2-saturated model implies the existence of 2 λ rigid א2-saturated models of power λ for every λ > 2א0 .
منابع مشابه
2 9 A ug 1 99 9 Rigid א ǫ - saturated models of superstable theories ∗
In a countable superstable NDOP theory, the existence of a rigid אǫ-saturated model implies the existence of 2 λ rigid אǫ-saturated models of power λ for every λ > 2א0 .
متن کاملThe Schröder-Bernstein property for a-saturated models
A first-order theory T has the Schröder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB property if and only if T is superstable and non-multidimensional. We also prove that among superstable theories T , the class of a-saturated models of T has the SB property if and only if T has no nomadic ...
متن کاملA Silver-like Perfect Set Theorem with an Application to Borel Model Theory
Silvers’s perfect set theorem says that every Π1 equivalence relation over a polish space either has countably many equivalence classes or has a perfect set of inequivalent elements. We prove an analog where the equivalence relation is replaced by a Π1 dependence relation, and the perfect set of inequivalent elements is replaced by a perfect independent set. The dependence relation should satis...
متن کاملVaught's conjecture for superstable theories of nite rank
In this paper we prove Vaught's conjecture for superstable theories in which each complete type has nite U? rank. The general idea is to associate with the theory an V ? deenable group G (called the structure group) which controls the isomorphism types of the models. We use module theory to show that when the theory has few countable models and M is a countable model there is a nice decompositi...
متن کاملAbstract Decomposition Theorem and Applications
DECOMPOSITION THEOREM AND APPLICATIONS RAMI GROSSBERG AND OLIVIER LESSMANN Abstract. In this paper, we prove a decomposition theorem for abstract elementary classes K with the amalgamation property, under the assumption that certain axioms regarding independence, existence of some prime models, and regular types are satisfied. This context encompasses the following: (1) K is the class of models...
متن کامل